# output 1.000000
putf(1.0)
